(n-valued) Logic System In
3-valued Godel logic system
adaptive fuzzy logic system
asynchronous logic system
binary digital logic system
configurable system logic
First-order Lattice-valued Logic System LF(X)
Gainse Rescher logic system
Lattice-valued Logic System
Lattice-valued Proposition Logic System